sorted deduction

分類演繹